A model based design flow for CAN-based systems
نویسندگان
چکیده
This paper introduces a novel approach for systematical development of CAN-based systems with guaranteed functional correctness and optimal performance. This approach relies on formal methods for faithful modeling and analysis of such systems, whilst taking into consideration the effects of critical parameters, such as bit stuffing and buffer utilization. As a proof of concept, the approach has been applied on existing benchmarks simulating realistic automotive networks. The results are similar to ones obtained using domain-specific tools e.g. Netcarbench. Moreover, this work creates new perspectives and reveals potential application for the generation of optimal device configurations for the recently developed CAN FD protocol.
منابع مشابه
Design of a New IPFC-Based Damping Neurocontrol for Enhancing Stability of a Power System Using Particle Swarm Optimization
The interline power flow controller (IPFC) is a concept of the FACTS controller for series compensation which can inject a voltage with controllable magnitude and phase angle among multi lines. This paper proposes a novel IPFC-Based Damping Neuro-control scheme using PSO for damping oscillations in a power system to improve power system stability. The addition of a supplementary controll...
متن کاملImproved Turbine Engine Hierarchical Modeling and Simulation Based on Engine Fuel Control System
Aircraft engines constitute a complex system, requiring adequate mon-itoring to ensure flight safety and timely maintenance. The best way to achieve this, is modeling the engine. Therefore, in this paper, a suitable mathematical model from engine controller design point of view, for a specific aero turbine engine is proposed by the aid of MATLAB/Simulink software. The model is capable of reduc...
متن کاملAn analytical model based on simulation aiming to improve patient flow in a hospital surgical suite
Surgical suits allocate a large amount of expenses to hospitals; on the other hand, they constitute a huge part of hospital revenues. Patient flow optimization in a surgical suite by omitting or reducing bottlenecks which cause loss of time is one of the key solutions in minimizing the patients’ length of stay[1] (LOS) in the system, lowering the expenses, increasing efficiency, and also enhanc...
متن کاملIntelligent Control System Design for Car Following Maneuver Based on the Driver’s Instantaneous Behavior
Due to the increasing demand for traveling in public transportation systems and increasing traffic of vehicles, nowadays vehicles are getting to be intelligent to increase safety, reduce the probability of accident and also financial costs. Therefore, today, most vehicles are equipped with multiple safety control and vehicle navigation systems. In the process of developing such systems, simulat...
متن کاملModelling Anaerobic Digestion of Cow Manure to Predict Methane Flow Rate
Anaerobic digestion (AD) of biowastes is one of the most common ways to produce methane-rich biogas, which has considerable potential to replace the fossil fuel used in multiple applications, such as vehicular transportation, internal combustion engines, cogeneration of heat and power systems and many other systems. Many companies are involved in the design and construction of anaerobic digesti...
متن کاملPredicting Flow Number of Asphalt Mixtures Based on the Marshall Mix design Parameters Using Multivariate Adaptive Regression Spline (MARS)
Rutting is one of the major distresses in the flexible pavements, which is heavily influenced by the asphalt mixtures properties at high temperatures. There are several methods for the characterization of the rutting resistance of asphalt mixtures. Flow number is one of the most important parameters that can be used for the evaluation of rutting. The flow number is measured by the dynamic creep...
متن کامل